Kai Prince
The University of Manchester
5 September 2025
Definition 1 For simplicity, we will use the alternative and equivalent definition that a locally compact group, \(\AmenableGroup\), is amenable (and second countable) if and only if it has a Følner sequence.